安德烈亚·马林;卡拉广场;萨宾娜·罗西 DPSNI(_PSNI):分隔的持久随机不干涉。 (英语) 兹比尔1517.68066 西奥。计算。科学。 884, 116-135 (2021).MSC公司:68平方米25 68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{A.Marin}等人,Theor。计算。科学。884116-135(2021年;Zbl 1517.68066) 全文: 内政部
尼古拉斯·贝尔;吉恩·克里文;雅各布·L·安德森。;丹尼尔·默克尔 生命科学重写理论:CTMC语义学的统一理论。 (英语) Zbl 1517.68153号 西奥。计算。科学。 884, 68-115 (2021).MSC公司:第68季度第42季度 60J28型 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{N.Behr}等人,Theor。计算。科学。884,68-115(2021;Zbl 1517.68153) 全文: 内政部 arXiv公司
莱恩·兰伯斯;费尔南多·奥雷贾斯 具有嵌套应用条件的转换规则:关键对、初始冲突和极小性。 (英语) Zbl 1517.68163号 西奥。计算。科学。 884, 44-67 (2021).MSC公司:第68季度第42季度 18B50型 PDF格式BibTeX公司 XML格式引用 \textit{L.Lambers}和\textit{F.Orejas},Theor。计算。科学。884、44-67(2021年;Zbl 1517.68163) 全文: 内政部
帕特里克·Stünkel;哈拉尔德·科尼格 在图形状结构的综合系统中进行单次推出重写。 (英语) Zbl 1517.68171号 西奥。计算。科学。 884, 23-43 (2021).MSC公司:第68季度第42季度 18A30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Stünkel}和\textit{H.König},Theor。计算。科学。884,23-43(2021;Zbl 1517.68171) 全文: 内政部
格雷厄姆·坎贝尔;丰满,细节 图变换中的合流成为垃圾。 (英语) Zbl 1517.68156号 西奥。计算。科学。 884, 1-22 (2021).MSC公司:第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Campbell}和\textit{D.Plump},Theor。计算。科学。884,1--22(2021;Zbl 1517.68156) 全文: 内政部 arXiv公司